#(s,a) refers to the number of state-action pairs (or state-input pairs). #doc refers to the size of the domain of controller.
Both-ent Both-sum Cat-ent Cat-sum Group-ent Group-sum Single-ent Single-sum
firewire_abst
#(s,a): 845
#doc: 845 		nodes: 18
inner nodes: 5
paths: 13
bandwidth: 4
time: 00:00:00.042
 View dot file
View C file 		nodes: 18
inner nodes: 5
paths: 13
bandwidth: 4
time: 00:00:00.016
 View dot file
View C file 		nodes: 18
inner nodes: 5
paths: 13
bandwidth: 4
time: 00:00:00.043
 View dot file
View C file 		nodes: 18
inner nodes: 5
paths: 13
bandwidth: 4
time: 00:00:00.016
 View dot file
View C file 		nodes: 9
inner nodes: 3
paths: 6
bandwidth: 3
time: 00:00:00.053
 View dot file
View C file 		nodes: 110
inner nodes: 54
paths: 56
bandwidth: 6
time: 00:00:00.140
 View dot file
View C file 		nodes: 15
inner nodes: 7
paths: 8
bandwidth: 3
time: 00:00:00.052
 View dot file
View C file 		nodes: 17
inner nodes: 8
paths: 9
bandwidth: 4
time: 00:00:00.023
 View dot file
View C file
firewire_impl_01
#(s,a): 1741
#doc: 1741 		nodes: 99
inner nodes: 37
paths: 62
bandwidth: 6
time: 00:00:00.189
 View dot file
View C file 		nodes: 352
inner nodes: 168
paths: 184
bandwidth: 8
time: 00:00:00.761
 View dot file
View C file 		nodes: 99
inner nodes: 37
paths: 62
bandwidth: 6
time: 00:00:00.182
 View dot file
View C file 		nodes: 354
inner nodes: 167
paths: 187
bandwidth: 8
time: 00:00:00.709
 View dot file
View C file 		nodes: 79
inner nodes: 30
paths: 49
bandwidth: 6
time: 00:00:00.231
 View dot file
View C file 		nodes: 252
inner nodes: 122
paths: 130
bandwidth: 8
time: 00:00:00.976
 View dot file
View C file 		nodes: 83
inner nodes: 41
paths: 42
bandwidth: 6
time: 00:00:00.261
 View dot file
View C file 		nodes: 261
inner nodes: 130
paths: 131
bandwidth: 8
time: 00:00:00.918
 View dot file
View C file
firewire_impl_02
#(s,a): 2860
#doc: 2860 		nodes: 99
inner nodes: 37
paths: 62
bandwidth: 6
time: 00:00:00.235
 View dot file
View C file 		nodes: 362
inner nodes: 173
paths: 189
bandwidth: 8
time: 00:00:00.969
 View dot file
View C file 		nodes: 99
inner nodes: 37
paths: 62
bandwidth: 6
time: 00:00:00.221
 View dot file
View C file 		nodes: 363
inner nodes: 171
paths: 192
bandwidth: 8
time: 00:00:00.925
 View dot file
View C file 		nodes: 79
inner nodes: 30
paths: 49
bandwidth: 6
time: 00:00:00.277
 View dot file
View C file 		nodes: 296
inner nodes: 144
paths: 152
bandwidth: 8
time: 00:00:01.363
 View dot file
View C file 		nodes: 73
inner nodes: 36
paths: 37
bandwidth: 6
time: 00:00:00.249
 View dot file
View C file 		nodes: 295
inner nodes: 147
paths: 148
bandwidth: 8
time: 00:00:01.180
 View dot file
View C file
firewire_impl_05
#(s,a): 6953
#doc: 6953 		nodes: 94
inner nodes: 36
paths: 58
bandwidth: 6
time: 00:00:00.446
 View dot file
View C file 		nodes: 408
inner nodes: 192
paths: 216
bandwidth: 8
time: 00:00:01.463
 View dot file
View C file 		nodes: 94
inner nodes: 36
paths: 58
bandwidth: 6
time: 00:00:00.435
 View dot file
View C file 		nodes: 409
inner nodes: 192
paths: 217
bandwidth: 8
time: 00:00:01.420
 View dot file
View C file 		nodes: 77
inner nodes: 30
paths: 47
bandwidth: 6
time: 00:00:00.517
 View dot file
View C file 		nodes: 442
inner nodes: 217
paths: 225
bandwidth: 8
time: 00:00:02.531
 View dot file
View C file 		nodes: 79
inner nodes: 39
paths: 40
bandwidth: 6
time: 00:00:00.486
 View dot file
View C file 		nodes: 435
inner nodes: 217
paths: 218
bandwidth: 8
time: 00:00:02.233
 View dot file
View C file
leader2
#(s,a): 34
#doc: 34 		nodes: 15
inner nodes: 5
paths: 10
bandwidth: 4
time: 00:00:00.008
 View dot file
View C file 		nodes: 14
inner nodes: 6
paths: 8
bandwidth: 3
time: 00:00:00.005
 View dot file
View C file 		nodes: 15
inner nodes: 5
paths: 10
bandwidth: 4
time: 00:00:00.005
 View dot file
View C file 		nodes: 15
inner nodes: 5
paths: 10
bandwidth: 4
time: 00:00:00.003
 View dot file
View C file 		nodes: 14
inner nodes: 5
paths: 9
bandwidth: 4
time: 00:00:00.008
 View dot file
View C file 		nodes: 14
inner nodes: 6
paths: 8
bandwidth: 3
time: 00:00:00.006
 View dot file
View C file 		nodes: 15
inner nodes: 7
paths: 8
bandwidth: 3
time: 00:00:00.008
 View dot file
View C file 		nodes: 15
inner nodes: 7
paths: 8
bandwidth: 3
time: 00:00:00.004
 View dot file
View C file
leader3
#(s,a): 361
#doc: 361 		nodes: 50
inner nodes: 19
paths: 31
bandwidth: 5
time: 00:00:00.049
 View dot file
View C file 		nodes: 78
inner nodes: 37
paths: 41
bandwidth: 6
time: 00:00:00.040
 View dot file
View C file 		nodes: 56
inner nodes: 19
paths: 37
bandwidth: 6
time: 00:00:00.025
 View dot file
View C file 		nodes: 58
inner nodes: 19
paths: 39
bandwidth: 6
time: 00:00:00.015
 View dot file
View C file 		nodes: 49
inner nodes: 19
paths: 30
bandwidth: 5
time: 00:00:00.046
 View dot file
View C file 		nodes: 77
inner nodes: 37
paths: 40
bandwidth: 6
time: 00:00:00.047
 View dot file
View C file 		nodes: 45
inner nodes: 22
paths: 23
bandwidth: 5
time: 00:00:00.041
 View dot file
View C file 		nodes: 77
inner nodes: 38
paths: 39
bandwidth: 6
time: 00:00:00.029
 View dot file
View C file
leader4
#(s,a): 3168
#doc: 3168 		nodes: 155
inner nodes: 61
paths: 94
bandwidth: 7
time: 00:00:00.237
 View dot file
View C file 		nodes: 559
inner nodes: 274
paths: 285
bandwidth: 9
time: 00:00:00.372
 View dot file
View C file 		nodes: 174
inner nodes: 61
paths: 113
bandwidth: 7
time: 00:00:00.140
 View dot file
View C file 		nodes: 175
inner nodes: 62
paths: 113
bandwidth: 7
time: 00:00:00.089
 View dot file
View C file 		nodes: 154
inner nodes: 61
paths: 93
bandwidth: 7
time: 00:00:00.229
 View dot file
View C file 		nodes: 547
inner nodes: 269
paths: 278
bandwidth: 9
time: 00:00:00.382
 View dot file
View C file 		nodes: 121
inner nodes: 60
paths: 61
bandwidth: 6
time: 00:00:00.198
 View dot file
View C file 		nodes: 553
inner nodes: 276
paths: 277
bandwidth: 9
time: 00:00:00.267
 View dot file
View C file
mer10
#(s,a): 23792
#doc: 23792 		nodes: 158
inner nodes: 68
paths: 90
bandwidth: 7
time: 00:00:00.684
 View dot file
View C file 		nodes: 2583
inner nodes: 1287
paths: 1296
bandwidth: 11
time: 00:00:01.842
 View dot file
View C file 		nodes: 199
inner nodes: 74
paths: 125
bandwidth: 7
time: 00:00:00.476
 View dot file
View C file 		nodes: 2812
inner nodes: 1199
paths: 1613
bandwidth: 11
time: 00:00:01.170
 View dot file
View C file 		nodes: 148
inner nodes: 65
paths: 83
bandwidth: 7
time: 00:00:00.664
 View dot file
View C file 		nodes: 2717
inner nodes: 1355
paths: 1362
bandwidth: 11
time: 00:00:02.412
 View dot file
View C file 		nodes: 115
inner nodes: 57
paths: 58
bandwidth: 6
time: 00:00:00.587
 View dot file
View C file 		nodes: 1301
inner nodes: 650
paths: 651
bandwidth: 10
time: 00:00:01.182
 View dot file
View C file
wlan0
#(s,a): 2738
#doc: 2738 		nodes: 197
inner nodes: 71
paths: 126
bandwidth: 7
time: 00:00:00.158
 View dot file
View C file 		nodes: 262
inner nodes: 88
paths: 174
bandwidth: 8
time: 00:00:00.122
 View dot file
View C file 		nodes: 206
inner nodes: 71
paths: 135
bandwidth: 8
time: 00:00:00.122
 View dot file
View C file 		nodes: 280
inner nodes: 87
paths: 193
bandwidth: 8
time: 00:00:00.095
 View dot file
View C file 		nodes: 175
inner nodes: 69
paths: 106
bandwidth: 7
time: 00:00:00.323
 View dot file
View C file 		nodes: 665
inner nodes: 323
paths: 342
bandwidth: 9
time: 00:00:01.112
 View dot file
View C file 		nodes: 237
inner nodes: 118
paths: 119
bandwidth: 7
time: 00:00:00.295
 View dot file
View C file 		nodes: 639
inner nodes: 319
paths: 320
bandwidth: 9
time: 00:00:00.263
 View dot file
View C file
zeroconf
#(s,a): 29814
#doc: 29814 		nodes: 367
inner nodes: 178
paths: 189
bandwidth: 8
time: 00:00:01.786
 View dot file
View C file 		nodes: 7243
inner nodes: 3620
paths: 3623
bandwidth: 12
time: 00:00:05.279
 View dot file
View C file 		nodes: 370
inner nodes: 178
paths: 192
bandwidth: 8
time: 00:00:01.435
 View dot file
View C file 		nodes: 3495
inner nodes: 1710
paths: 1785
bandwidth: 11
time: 00:00:02.386
 View dot file
View C file 		nodes: 367
inner nodes: 178
paths: 189
bandwidth: 8
time: 00:00:01.538
 View dot file
View C file 		nodes: 7243
inner nodes: 3620
paths: 3623
bandwidth: 12
time: 00:00:04.517
 View dot file
View C file 		nodes: 379
inner nodes: 189
paths: 190
bandwidth: 8
time: 00:00:01.773
 View dot file
View C file 		nodes: 8025
inner nodes: 4012
paths: 4013
bandwidth: 12
time: 00:00:04.604
 View dot file
View C file